On Conservative Learning of R.e. Languages
نویسندگان
چکیده
Partially conservative learning is a variant of partial learning whereby the learner, on a text for a target language L, outputs one index e with L = We infinitely often and every further hypothesis d is output only finitely often and satisfies L 6⊆ Wd. The present paper studies the learning strength of this notion, comparing it with other learnability criteria such as confident partial learning, explanatory learning, as well as behaviourally correct learning. It is further established that for classes comprising infinite sets, partially conservative learnability is in fact equivalent to explanatory learnability relative to the halting problem. 1998 ACM Subject Classification Dummy classification
منابع مشابه
Machine Induction Without Revolutionary Changes in Hypothesis Size
This paper provides a beginning study of the effects on inductive inference of paradigm shifts whose absence is approximately modeled by various formal approaches to forbidding large changes in the size of programs conjectured. One approach, called severely parsimonious, requires all the programs conjectured on the way to success to be nearly (i.e., within a recursive function of) minimal size....
متن کاملFriendly Logics, Fall 2005 (partial Lecture Notes)
• What is a language of strings (words) over an alphabet? • What is an r.e. language? • What is a computable function? • What is a decidable language? • What is a co-r.e. language? How do r.e. and co-r.e. languages relate to decidable languages? • Is the Halting Problem r.e.? Is it decidable? • Can you think of an undecidable language that is not defined in terms of Turing Machines? • What is a...
متن کاملPartial Learning of Recursively Enumerable Languages
This paper studies several typical learning criteria in the model of partial learning of r.e. sets in the recursion-theoretic framework of inductive inference. Its main contribution is a complete picture of how the criteria of confidence, consistency and conservativeness in partial learning of r.e. sets separate, also in relation to basic criteria of learning in the limit. Thus this paper const...
متن کاملNonrecursive Cellular Automata Invariant Sets
Languages correspo nding to two invariant subshifts, the limit set and periodic set are examined. The complement of the language produced by a cellular automaton limit set is always recursively enumerable (r .e.), and modulo intersection with a regular langu age and s-limited homomor phism, all languages wit h r.e. complements arise this way. Th e language produced by the periodic set is always...
متن کاملGold-Style and Query Learning Under Various Constraints on the Target Class
In language learning, strong relationships between Gold-style models and query models have recently been observed: in some quite general setting Gold-style learners can be replaced by query learners and vice versa, without loss of learning capabilities. These ‘equalities’ hold in the context of learning indexable classes of recursive languages. Former studies on Gold-style learning of such inde...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012